Metamorphic testing of OpenStreetMap

OpenStreetMap represents a collaborative effort of many different and unrelated users to create free map the world. Although contributors follow some general guidelines, unsupervised additions are prone include erroneous information. Unfortunately, it is impossible automatically detect most these issues because there does not exist an oracle evaluate whether information correct or not. Metamorphic testing has shown be very useful in assessing correctness heterogeneous artifacts when oracles available. The main goal our work provide (fully implemented) framework, based on metamorphic testing, that will support analysis provided with detecting faulty We defined framework deal OpenStreetMap. identified set good relations. In order have as much automation possible, we paid special attention automatic selection follow-up inputs they fundamental diminish manual testing. assess usefulness applied analyze maps four cities continents. rationale would dealing problems created by contributors. obtained experimental evidence shows potential value framework. application chosen revealed errors all them considered categories. experiments showed identify appearing relations helpful, future might other specific situations covered Since pattern define relations, relatively easy extend existing particular, since implemented code freely available, implement new